61. Fuzzy logic, neural networks, and evolutionary computation: IEEE/Nagoya University World Wisepersons Workshop, Nagoya, Japan, November 14-15, 1995: selected papers

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Neural networks )Computer science(,Congresses ، Fuzzy logic,Congresses ، Evolutionary computation

رده :
QA
76
.
87
.
I346
1995

62. Generalized quantifiers and computation

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.

63. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1
.
G6
1996a

64. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1L44
Vol
.
6

65. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1
G6
1996

66. Higher-order algebra, logic, and term rewriting : first International Workshop, HOA'93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
816

67. Higher-order algebra, logic, and term rewriting : second International Workshop, HOA'95, Paderborn, Germany, September 21-22, 1995 : selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1074

68. Implementation and application of functional language

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books

رده :
QA76
.
62
.
I58
2010

69. KI 2015

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها

رده :
Q
336
.
K5
2015
E-Book
,

70. Logic Programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Logic programming )Computer science(-- Congresses

رده :
QA
76
.
63
.
L6324
1989

71. Logic for Programming, Artificial Intelligence, and Reasoning

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer logic -- Congresses,Computer science,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر

رده :
QA
75
.
5
.
L66
2015
E-Book
,

72. Logic from computer science

پدیدآورنده :

کتابخانه: (کرمان)

موضوع : Logic, Symbolic and mathematical -- Congresses,Computer science -- Congresses

رده :
QA
9
.
A1
,
L64
1991

73. Logic from computer science

پدیدآورنده :

کتابخانه: (کرمان)

موضوع : Logic, Symbolic and mathematical -- Congresses,Computer science -- Congresses

رده :
QA
9
.
A1
,
L64
1991

74. Logic from computer science : Proceedings of a Workshop held November 13-17, 1989

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science

رده :
QA
9
.
A1W65
1989

75. Logic from computer science : proceedings of a workshop held November 13-17, 1989

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Logic, Symbolic and mathematical--Congresses,، Computer science--Congresses

رده :
QA
9
.
A1
.
L64
1991

76. Logic from computer science : proceedings of a workshop held November 13-17, 1989

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science

رده :
QA
1
.
M3
v
.
21

77. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
6
.
S9393
2001

78. Logic of Computation

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.

79. Logic of computation

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
75
.
5
.
L63
1997

80. Logic of computation

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Computer science,Congresses ، Logic, symbolic and mathematical

رده :
QA
75
.
5
.
L63
1997